0.02/0.09	% Problem    : SLH0640^1 : TPTP v8.2.0. Released v8.2.0.
0.02/0.09	% Command    : python3 /export/starexec/sandbox2/solver/bin/portfolio.sh.sequential.py %s %d /export/starexec/sandbox2/tmp/tmp.h5N5U5I7QM true
0.08/0.28	Computer   : n010.cluster.edu
0.08/0.28	Model      : x86_64 x86_64
0.08/0.28	CPUModel   : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
0.08/0.28	RAMPerCPU  : 8042.1875MB
0.08/0.28	OS         : Linux 3.10.0-693.el7.x86_64
0.08/0.28	% CPULimit   : 30
0.08/0.28	% WCLimit    : 30
0.08/0.28	% DateTime   : Mon Jul  3 05:31:54 EDT 2023
0.08/0.29	% CPUTime    : 
0.08/0.29	% Number of cores: 8
0.08/0.29	% Python version: Python 3.6.8
0.13/0.36	% Total configuration time : 67
0.13/0.36	% Estimated wc time : 38
0.13/0.36	% Estimated cpu time (1 cpus) : 38
0.13/0.36	% /export/starexec/sandbox2/solver/bin/sh/sh5_sh1.sh running for 4s
0.13/0.38	% /export/starexec/sandbox2/solver/bin/sh/sh5_sh1.sh could not parse the output
0.13/0.38	% parse error: expected declaration
0.13/0.38	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 1243, col 22 to 23
0.13/0.38	% 
0.13/0.38	% /export/starexec/sandbox2/solver/bin/sh/sh8_shallow_sine.sh running for 4s
0.13/0.40	% /export/starexec/sandbox2/solver/bin/sh/sh8_shallow_sine.sh could not parse the output
0.13/0.40	% parse error: expected declaration
0.13/0.40	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 1243, col 22 to 23
0.13/0.40	% 
0.13/0.40	% /export/starexec/sandbox2/solver/bin/sh/sh10_new_c.s3.sh running for 3s
0.13/0.43	% /export/starexec/sandbox2/solver/bin/sh/sh10_new_c.s3.sh could not parse the output
0.13/0.43	% parse error: expected declaration
0.13/0.43	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 1243, col 22 to 23
0.13/0.43	% 
0.13/0.43	% /export/starexec/sandbox2/solver/bin/sh/sh10_c_ic.sh running for 3s
0.13/0.45	% /export/starexec/sandbox2/solver/bin/sh/sh10_c_ic.sh could not parse the output
0.13/0.45	% parse error: expected declaration
0.13/0.45	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 1243, col 22 to 23
0.13/0.45	% 
0.13/0.45	% /export/starexec/sandbox2/solver/bin/sh/sh8_b.comb.sh running for 3s
0.13/0.47	% /export/starexec/sandbox2/solver/bin/sh/sh8_b.comb.sh could not parse the output
0.13/0.47	% parse error: expected declaration
0.13/0.47	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 1243, col 22 to 23
0.13/0.47	% 
0.13/0.47	% /export/starexec/sandbox2/solver/bin/sh/sh5_add_var_l_av.sh running for 3s
0.13/0.49	% /export/starexec/sandbox2/solver/bin/sh/sh5_add_var_l_av.sh could not parse the output
0.13/0.49	% parse error: expected declaration
0.13/0.49	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 1243, col 22 to 23
0.13/0.49	% 
0.13/0.49	% /export/starexec/sandbox2/solver/bin/sh/sh10_e_lift.sh running for 3s
0.13/0.51	% /export/starexec/sandbox2/solver/bin/sh/sh10_e_lift.sh could not parse the output
0.13/0.51	% parse error: expected declaration
0.13/0.51	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 1243, col 22 to 23
0.13/0.51	% 
0.13/0.51	% /export/starexec/sandbox2/solver/bin/sh/sh5_shallow_sine.sh running for 1s
0.13/0.53	% /export/starexec/sandbox2/solver/bin/sh/sh5_shallow_sine.sh could not parse the output
0.13/0.53	% parse error: expected declaration
0.13/0.53	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 1243, col 22 to 23
0.13/0.53	% 
0.13/0.53	% /export/starexec/sandbox2/solver/bin/sh/sh5_e_short1.sh running for 2s
0.13/0.55	% /export/starexec/sandbox2/solver/bin/sh/sh5_e_short1.sh could not parse the output
0.13/0.55	% parse error: expected declaration
0.13/0.55	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 1243, col 22 to 23
0.13/0.55	% 
0.13/0.55	% /export/starexec/sandbox2/solver/bin/sh/sh5_32.sh running for 2s
0.39/0.57	% /export/starexec/sandbox2/solver/bin/sh/sh5_32.sh could not parse the output
0.39/0.57	% parse error: expected declaration
0.39/0.57	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 1243, col 22 to 23
0.39/0.57	% 
0.39/0.57	% /export/starexec/sandbox2/solver/bin/sh/sh5_sh4.sh running for 2s
0.41/0.60	% /export/starexec/sandbox2/solver/bin/sh/sh5_sh4.sh could not parse the output
0.41/0.60	% parse error: expected declaration
0.41/0.60	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 1243, col 22 to 23
0.41/0.60	% 
0.41/0.60	% /export/starexec/sandbox2/solver/bin/sh/sh5_lifting2.sh running for 3s
0.41/0.62	% /export/starexec/sandbox2/solver/bin/sh/sh5_lifting2.sh could not parse the output
0.41/0.62	% parse error: expected declaration
0.41/0.62	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 1243, col 22 to 23
0.41/0.62	% 
0.41/0.62	% /export/starexec/sandbox2/solver/bin/sh/sh5_noforms.sh running for 1s
0.45/0.64	% /export/starexec/sandbox2/solver/bin/sh/sh5_noforms.sh could not parse the output
0.45/0.64	% parse error: expected declaration
0.45/0.64	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 1243, col 22 to 23
0.45/0.64	% 
0.45/0.64	% /export/starexec/sandbox2/solver/bin/sh/sh8_old_zip1.sh running for 3s
0.47/0.66	% /export/starexec/sandbox2/solver/bin/sh/sh8_old_zip1.sh could not parse the output
0.47/0.66	% parse error: expected declaration
0.47/0.66	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 1243, col 22 to 23
0.47/0.66	% 
0.47/0.66	% /export/starexec/sandbox2/solver/bin/sh/sh5_sh.eqenc.sh running for 1s
0.47/0.68	% /export/starexec/sandbox2/solver/bin/sh/sh5_sh.eqenc.sh could not parse the output
0.47/0.68	% parse error: expected declaration
0.47/0.68	%     at file '/export/starexec/sandbox2/benchmark/theBenchmark.p': line 1243, col 22 to 23
0.47/0.68	% 
0.47/0.68	% Terminating...
0.47/0.68	% Runner terminated.
0.47/0.69	% Zipperpin exiting
0.47/0.69	EOF